Burrows–Abadi–Needham logic

#	Item
21	PDF Document Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2001-02-05 06:18:08 Shared secret Burrows–Abadi–Needham logic Password-authenticated key agreement Cryptography Cryptographic protocols Public-key cryptography
22	PDF Document Add to Reading List Source URL: alloy.mit.edu Language: English - Date: 2006-10-21 23:23:16 Cryptography Fault-tolerant computer systems Inter-process communication Public-key cryptography Burrows–Abadi–Needham logic Epistemic modal logic Modal logic Communications protocol Consensus Computing Logic Information